A Definite Integral (A. J. Jerri)
نویسندگان
چکیده
منابع مشابه
VSDITLU: a verifiable symbolic definite integral table look-up
We present a verifiable symbolic definite integral table look-up: a system which matches a query, comprising a definite integral with parameters and side conditions, against an entry in a verifiable table and uses a call to a library of facts about the reals in the theorem prover PVS to aid in the transformation of the table entry into an answer. Our system is able to obtain correct answers in ...
متن کاملDefinite Integrals using Orthogonality and Integral Transforms
We obtain definite integrals for products of associated Legendre functions with Bessel functions, associated Legendre functions, and Chebyshev polynomials of the first kind using orthogonality and integral transforms.
متن کاملScalar Multiple of Riemann Definite Integral
We adopt the following rules: r, x, y are real numbers, i, j are natural numbers, and p is a finite sequence of elements of R. The following proposition is true (1) For every closed-interval subset A of R and for every x holds x ∈ A iff inf A ¬ x and x ¬ supA. Let I1 be a finite sequence of elements of R. We say that I1 is non-decreasing if and only if the condition (Def. 1) is satisfied. (Def....
متن کاملA class of J-quasipolar rings
In this paper, we introduce a class of $J$-quasipolar rings. Let $R$ be a ring with identity. An element $a$ of a ring $R$ is called {it weakly $J$-quasipolar} if there exists $p^2 = pin comm^2(a)$ such that $a + p$ or $a-p$ are contained in $J(R)$ and the ring $R$ is called {it weakly $J$-quasipolar} if every element of $R$ is weakly $J$-quasipolar. We give many characterizations and investiga...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Review
سال: 1983
ISSN: 0036-1445,1095-7200
DOI: 10.1137/1025013